propositions atomiques